(define t1
  (letrec ((is-even? (lambda (n)
		       (is-odd? n)))
           (is-odd? (lambda (n)	
		      (is-even? n))))
    (is-odd? 11)))
